1. .....................
Author: ]edited by Jerome Fox[
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Computer - Congresses,Machine theory - Congresses
Classification :
TK
7885
.
S9
1971
2. <A> Half-Century of Automata Theory
Author: \ editors, A. Salomaa, D. Wood, S. Yu.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Algebra,جبر, -- Congresses, -- کنگرهها,a04,a04,Machine theory -- Congresses.,نظریه ماشین -- کنگره ها
Classification :
E-Book
,
3. A half-century of automata theory
Author: / editors, A. Salomaa, D. Wood, S. Yu
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory--Congresses
Classification :
QA
,
267
,.
H333
,
2001
4. A text book of Theory of Machines
Author: R.K Bansal
Library: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
Subject: Machine theory, Congresses
Classification :
621
,.
8
,
B36
,
2002
5. Abstract State Machines, Alloy, B, TLA, VDM, and Z
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Machine learning -- Congresses,Machine theory -- Congresses,Machine learning,فراگیری ماشینی -- کنگرهها,نظریه ماشین -- کنگرهها,فراگیری ماشینی
Classification :
E-Book
,
6. Abstract state machines 2003 :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Machine theory ; Congresses ;
7. Abstract state machines
Author: / Yuri Gurevich ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory--Congresses
Classification :
QA
,
267
,.
A25
,
2000
8. Abstract state machines :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Machine theory ; Congresses ;
9. Abstract state machines 2003
Author: / Egon B?�rger, Angelo Gargantini, Elvinia Riccobene (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory--Congresses
Classification :
QA
,
267
,.
A86
,
2003
10. Abstract state machines, B and
Author: / Egon Beorger ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory--Congresses,B method (Computer science)--Congresses,Z (Computer program language)--Congresses
11. Abstract state machines, B and Z
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: B method (Computer science) ; Congresses. ; Machine theory ; Congresses. ; Z (Computer program language) ; Congresses. ;
12. Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
Author: Wolf Zimmermann, Bernhard Thalheim )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory
Classification :
QA
76
.
L28
Vol
.
3052
13. Abstract state machines 2003 : advances in theory and practice ; 10th international workshop, ASM 2003, Taormina, Italy, March 2003 : proceedings
Author: Egon Borger, Angelo Gargantini, Elvinia Riccobene )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory
Classification :
QA
76
.
L28
Vol
.
2589
14. Abstract state machines, alloy, B and Z
Author: / Marc Frappier ... [et al.] (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Machine theory, Congresses,B method (Computer science), Congresses,Z (Computer program language), Congresses,Machine learning, Congresses
Classification :
QA267
.
A29
2010
15. Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
Author: Marc Frappier ... ]et al.[ )Eds.(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Congresses ، Machine theory,Congresses ، B method )Computer science(,Congresses ، Z )Computer program language(
Classification :
QA
267
.
A26
2010
16. Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verita Switzerland, March 2000 : proceedings
Author: Yuri Gurevich...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory
Classification :
QA
76
.
L28
Vol
.
1912
17. Advances in Petri Nets 1985
Author: edited by G. Rozenberg
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Petri nets,Congresses ، Machine theory
Classification :
QA
76
.
L28
Vol
.
222
18. Advances in Petri Nets 1987
Author: Grzegorz Rozenberg )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Petri nets,Congresses ، Machine theory
Classification :
QA
76
.
L28
Vol
.
266
19. Advances in Petri Nets 1989
Author: Grzegorz Rozenberg )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Petri nets,Congresses ، Machine theory
Classification :
QA
76
.
L28
Vol
.
424
